abstract:In mathematics, a Lie subgroup H of a Lie group G is a Lie group that is a subset of G and such that the inclusion map from H to G is an injective immersion and group homomorphism. According to Cartan's theorem, a closed subgroup of G admits a unique smooth structure which makes it an embedded Lie subgroup of G -- i.